RODRÍGUEZ-ARTALEJO, MARIO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logic programming with functions and predicates: The language Babel

Juan Jose Moreno-Navarro, Mario Rodriguez-Artalejo

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.04 MB

english, 1992

2

The functional logic language BABEL and its implementation on a graph machine

Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Journal:

New Generation Computing

Year:

1996

Language:

english

File:

PDF, 1.88 MB

english, 1996

3

Hoare's logic for nondeterministic regular programs: A nonstandard approach

M.Teresa Hortalá-González, Mario Rodríguez-Artalejo

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 1.36 MB

english, 1989

4

Qualified Logic Programming with Bivalued Predicates

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 350 KB

english, 2009

5

Constraint Functional Logic Programming Revisited

F. Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 751 KB

english, 2005

6

Foreword

Giorgio Levi, Mario Rodriguez-Artalejo

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 101 KB

english, 1996

7

A Declarative Debugging System for Lazy Functional Logic Programs

Rafael Caballero, Mario Rodríguez-Artalejo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 838 KB

english, 2002

8

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1139 || λ-calculi with explicit substitutions and composition which preserve β-strong normalization

Hanus, Michael, Rodríguez-Artalejo, Mario

Year:

1996

Language:

english

File:

PDF, 813 KB

english, 1996

9

[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2441 || Lambda-Lifting in Quadratic Time

Hu, Zhenjiang, Rodríguez-Artalejo, Mario

Year:

2002

Language:

english

File:

PDF, 251 KB

english, 2002

10

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 || Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (Extended Abstract)

Flum, Jörg, Rodriguez-Artalejo, Mario

Year:

1999

Language:

english

File:

PDF, 189 KB

english, 1999

11

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 ||

Flum, Jörg, Rodriguez-Artalejo, Mario

Year:

1999

Language:

english

File:

PDF, 27.20 MB

english, 1999

12

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Cooperation of constraint domains in the TOY system

Estévez-Martín, Sonia, Fernández, Antonio J., Hortalá-González, Teresa, Rodríguez-Artalejo, Mario, Sáenz-Pérez, Fernando, del Vado Vírseda, Rafael

Year:

2008

Language:

english

File:

PDF, 275 KB

english, 2008

13

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Similarity-based reasoning in qualified logic programming

Caballero, Rafael, Rodríguez-Artalejo, Mario, Romero-Díaz, Carlos A.

Year:

2008

Language:

english

File:

PDF, 279 KB

english, 2008

14

A declarative semantics for CLP with qualification and proximity

RODRÍGUEZ-ARTALEJO, MARIO, ROMERO-DÍAZ, CARLOS A.

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 197 KB

english, 2010

15

Constraint Logic Programming with Hereditary Harrop formulas

LEACH, JAVIER, NIEVA, SUSANA, RODRÍGUEZ-ARTALEJO, MARIO

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 441 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски